251![Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator Michael Leuschel and Jesper Jørgensen Declarative Systems and Software Engineering Group Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator Michael Leuschel and Jesper Jørgensen Declarative Systems and Software Engineering Group](https://www.pdfsearch.io/img/11cb61400ccd47f019796c1048ebd902.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:06:03
|
---|
252![Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting — Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting —](https://www.pdfsearch.io/img/85c46cfc4df3f234de129b2f6eda40fd.jpg) | Add to Reading ListSource URL: sunsite.informatik.rwth-aachen.deLanguage: English - Date: 2012-09-07 15:06:52
|
---|
253![02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013](https://www.pdfsearch.io/img/97233452c5a41eef7fe68c21aace63d3.jpg) | Add to Reading ListSource URL: www.imm.dtu.dkLanguage: English - Date: 2013-10-21 08:25:00
|
---|
254![Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies](https://www.pdfsearch.io/img/232f29b6804ca939969d5addd14f4662.jpg) | Add to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:07
|
---|
255![An Essence of SSReflect Iain Whiteside, David Aspinall, and Gudmund Grov CISA, School of Informatics University of Edinburgh Edinburgh EH8 9AB, Scotland An Essence of SSReflect Iain Whiteside, David Aspinall, and Gudmund Grov CISA, School of Informatics University of Edinburgh Edinburgh EH8 9AB, Scotland](https://www.pdfsearch.io/img/78fb2efb77c4dd17c30c514a567370f9.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2013-01-09 06:40:19
|
---|
256![Library for Model Querying – lQuery Renārs Liepiņš Institute of Mathematics and Computer Science University of Latvia, Raina boulevard 29 Riga, LV-1459, Latvia Library for Model Querying – lQuery Renārs Liepiņš Institute of Mathematics and Computer Science University of Latvia, Raina boulevard 29 Riga, LV-1459, Latvia](https://www.pdfsearch.io/img/8436b7dd6b7c0165a7f72ff9509217f8.jpg) | Add to Reading ListSource URL: st.inf.tu-dresden.deLanguage: English - Date: 2012-09-25 06:20:12
|
---|
257![Linköping Studies in Science and Technology Thesis NoMeta-Languages and Semantics for Equation-Based Modeling and Simulation Linköping Studies in Science and Technology Thesis NoMeta-Languages and Semantics for Equation-Based Modeling and Simulation](https://www.pdfsearch.io/img/298a36e49e8d36a2c9ab7ec4da2df039.jpg) | Add to Reading ListSource URL: ecee.colorado.eduLanguage: English - Date: 2010-12-16 12:22:51
|
---|
258![The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop](https://www.pdfsearch.io/img/ffca202896f2b98c83ffbf46a854276f.jpg) | Add to Reading ListSource URL: www.cs.miami.eduLanguage: English - Date: 2006-07-11 15:25:07
|
---|
259![Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1 Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1](https://www.pdfsearch.io/img/d9efd796a889cf98a2de9ee01ad9dfb5.jpg) | Add to Reading ListSource URL: tmancini.di.uniroma1.itLanguage: English - Date: 2008-12-16 11:06:58
|
---|
260![Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy](https://www.pdfsearch.io/img/942368e73e0f70a81d50a988f26b8dcd.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-03-21 07:54:00
|
---|